Can AI assist in Mathematics and Computer Science research?

On October 2, at 11 a.m. (Aula Magna), the Sant'Anna School is organizing a seminar entitled “Can AI assist in Mathematics and Computer Science research?” held by Prabhakar Raghavan, Google’s Chief Technologist.

Abstract:

This lecture begins with the nuances of generality in artificial intelligence, and considerations of task-specific ability beyond the classical Turing test. Following this we focus on a specific task: research in mathematics and computer science. We describe our experience with Google Deepmind's AlphaEvolve system, and its use in discovering some new results in mathematics and computer science. We suggest that these could not have been discovered by hand or through direct computation. This ties back to the question of how AI could help the creative process, and the right benchmarks for comparing AI (assistance) to human performance?

Joint work with Ansh Nagda (UC Berkeley) and Abhradeep Thakurta (Google Deepmind).

Bio:

Prabhakar Raghavan is the Chief Technologist at Google. He was previously Senior Vice President for Google’s Knowledge & Information products, including Google Search, Geo, and Ads & Commerce. Prabhakar is one of the foremost authorities on search, with over 20 years of research spanning algorithms, web search, and databases. He is the co-author of two widely-used graduate texts, Randomized Algorithms and Introduction to Information Retrieval. Prior to joining Google, he founded and led Yahoo! Labs. He also served as chief technology officer at Verity, and held various positions during 14 years at IBM Research. Prabhakar holds a Ph.D. from UC Berkeley; he is a Fellow of the IEEE, Fellow of the ACM, member of the US National Academy of Engineering, and recipient of a Laurea Honoris Causa from the University of Bologna.

Poster attached.